in a lump sum